Characterizing rosy theories
نویسندگان
چکیده
We examine several conditions, either the existence of a rank or a particular property of þ-forking that suggest the existence of a well-behaved independence relation, and determine the consequences of each of these conditions towards the rosiness of the theory. In particular we show that the existence of an ordinal valued equivalence relation rank is a (necessary and) sufficient condition for rosiness.
منابع مشابه
Orthogonality and Domination in Unstable Theories
In the rst part of the paper we study orthogonality, domination, weight, regular and minimal types in the contexts of rosy and super-rosy theories. Then we try to develop analogous theory for arbitrary dependent theories.
متن کاملThorn-forking in continuous logic
We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary ima...
متن کاملA Classification of 2-Chains having 1-Shell Boundaries in rosy Theories
We classify, in a non-trivial amenable collection of functors, all 2-chains up to the relation of having the same 1-shell boundary. In particular, we prove that in a rosy theory, every 1-shell of a Lascar strong type is the boundary of some 2-chain, hence making the 1st homology group trivial. We also show that, unlike in simple theories, in rosy theories there is no upper bound on the minimal ...
متن کاملConsistent Amalgamation for Þ-forking Alf Onshuus and Clifton Ealy
This result follows straight from the geometric properties of þ-forking and it is nowhere near the independence theorem (which we will call “independent amalgamation”) one has in simple theories. In [?], Kim proved that the only independence relation satisfying symmetry, local character, transitivity and the independence theorem was forking in a simple theory; since there are well known example...
متن کاملRandomizing O-minimal Theories
The randomization of a complete first order theory T is the complete continuous theory T R with two sorts, a sort for random elements of models of T , and a sort for events in an underlying atomless probability space. We show that if T has the exchange property and acl = dcl, then T R has a strict independence relation in the home sort, and hence is real rosy. In particular, if T is o-minimal, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 72 شماره
صفحات -
تاریخ انتشار 2007